1·IDL is a specification language.
IDL是一种规范语言。
2·It also demands much more stringent use of the specification language.
它还要求对规范语言的更严格的使用。
3·Specification patterns are design patterns that are expressed in a formal specification language.
规约模式就是用某种形式化语言表示的设计模式。
4·Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets.
过去的机制包括文档风格语义和规范语言以及级联版式。
5·By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。
6·LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
7·Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
8·Whatis your perspective on its potential impact on software architecture, specification language, software process and software reuse?
你如何看待其可能产生的影响软件体系结构，规范语言，软件过程和软件重用？
9·Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
10·Through the domain analysis of GIS application system, this paper designed a simple specification language for GIS application system, named GASL.
通过对GIS应用系统的分析，设计出一种简易的GIS软件规格描述语言GASL。